How the Lean language brings math to coding and coding to math
amazon.science·10h·
Discuss: Hacker News
🔬Lean
Improving performance of content-centric networks via decentralized coded caching for multi-level popularity and access
arxiv.org·1d
🕸️Network Topology
Reducing double spend latency from 40 ms to < 1 ms on privacy proxy
blog.cloudflare.com·15h
🌐DNS over QUIC
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·11h
🧮Kolmogorov Complexity
A New Concurrent ML in Guile Scheme
wingolog.org·19h·
Discuss: Hacker News
🔄Lens Laws
Why Computer Science Is No Good, Redux
cacm.acm.org·10h
🎯Performance Proofs
DNS at IETF 123
potaroo.net·5h
🌐DNS Security
Introduction to Microservices
thenewstack.io·4h
🌊Streaming Systems
Serving Indigenous communities with high-speed Internet through monsoons and desert
blog.apnic.net·5h
🕸️Mesh Networking
Machine Learning Fundamentals: model evaluation example
dev.to·11h·
Discuss: DEV
👁️Observatory Systems
The Christofides Algorithm
alon.kr·12h·
Discuss: Hacker News
🕸️Graph Algorithms
New Prototype: RIPE Atlas Traceroute Visualisation Tool
labs.ripe.net·20h
📡BGP Archaeology
Physics+ Euler Lagrange Equation: UNIZOR.COM - Physics+ - Variations
unizor.blogspot.com·2d·
Discuss: www.blogger.com
⚔️Lean Theorem
Fail-Open: Reckless or Resilient?
nextorbit.co·1h·
Discuss: Hacker News
🛡️Error Boundaries
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Axiom: Decentralized AI network that discovers, verifies, and archives truth
github.com·3h·
Discuss: Hacker News
🤝Distributed Consensus
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
🎯Proof Tactics
Computer Networking a Top-Down Approach, 9th Edition
gaia.cs.umass.edu·4d·
Discuss: Hacker News
📡Network Protocol Design
Building highly available services: global anycast PowerDNS cluster
quantum5.ca·1d
🌐DNS Security
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·8h
🔬Refinement Types